Solving constraint satisfaction sequencing problems by iterative repair

نویسندگان

  • Andrew J. Davenport
  • Edward P. K. Tsang
چکیده

Many constraint satisfaction problems involve sequencing constraints, where the aim is to nd a sequence for a domain of values such that all the constraints on the sequence are satis ed. Specialised techniques have been developed to tackle this problem within the constraint programming framework using constructive, backtracking search. In this paper we investigate local search techniques to tackle this problem. By taking advantage of the structure of the sequencing problem we show that within a local search framework we can reduce the size of the search space and the number of constraints which are required to be satis ed. We present SwapGenet, an iterative repair-based algorithm designed speci cally for solving the constraint satisfaction sequencing problem. We present results of an empirical evaluation demonstrating the superiority of SwapGenet over Genet on the car sequencing problem.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Solving constraint satisfaction

Many constraint satisfaction problems involve sequencing constraints, where the aim is to nd a sequence for a domain of values such that all the constraints on the sequence are satissed. Specialised techniques have been developed to tackle this problem within the constraint programming framework using constructive, backtracking search. In this paper we investigate local search techniques to tac...

متن کامل

Applied Partial Constraint Satisfaction Using Weighted Iterative Repair

Many real-world constraint satisfaction problems (CSPs) can be over-constrained or too large to solve using a standard constructive/backtracking approach. Instead, faster heuristic techniques have been proposed that perform a partial search of all possible solutions using an iterative repair or hill-climbing approach. The main problem with such approaches is that they can become stuck in local ...

متن کامل

GENET: A Connectionist Architecture for Solving Constraint Satisfaction Problems by Iterative Improvement

New approaches to solving constraint satisfaction problems using iterative improvement techniques have been found to be successful on certain, very large problems such as the million queens. However, on highly constrained problems it is possible for these methods to get caught in local minima. In this paper we present genet, a connectionist architecture for solving binary and general constraint...

متن کامل

GENET: A Connectionist Architecture for Solving Constraint Sat isfact ion terative rovement*

New approaches to solving constraint satisfaction problems using iterative improvement techniques have been found to be successful on certain, very large problems such as the million queens. However, on highly constrained problems it is possible for these methods to get caught in local minima. In this paper we present GENET, a connectionist architecture for solving binary and general constraint...

متن کامل

Search Algorithms for Minimal Cost Repair Problems

Many scheduling scenarios involve altering or repairing an initial, candidate schedule, sometimes as a result of unexpected changes to the problem. Given a constraint satisfaction problem and an initial assignment of values to variables that violates some constraints, we consider the problem of finding a solution which differs minimally from the initial state. We consider two search spaces for ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999